-- import Demo

def name : String := "Rex"

def main : IO Unit := do
  IO.println s!"Hello, {name}!"
  -- mainDemo IO
